Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
Identifieur interne : 000123 ( France/Analysis ); précédent : 000122; suivant : 000124Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
Auteurs : Farid Cerbah [France] ; Jérôme Euzenat [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: This article deals with traceability in sotfware engineering. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminological resources. The presented system is one step towards incremental formalization from textual knowledge.
Url:
DOI: 10.1007/3-540-45399-7_10
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003E88
- to stream Istex, to step Curation: 003134
- to stream Istex, to step Checkpoint: 001551
- to stream Main, to step Merge: 001715
- to stream Main, to step Curation: 001682
- to stream Main, to step Exploration: 001682
- to stream France, to step Extraction: 000123
Links to Exploration step
ISTEX:F18609BF12E506D5B40600FF629138B149E05F4CLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements</title><author><name sortKey="Cerbah, Farid" sort="Cerbah, Farid" uniqKey="Cerbah F" first="Farid" last="Cerbah">Farid Cerbah</name></author><author><name sortKey="Euzenat, Jerome" sort="Euzenat, Jerome" uniqKey="Euzenat J" first="Jérôme" last="Euzenat">Jérôme Euzenat</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:F18609BF12E506D5B40600FF629138B149E05F4C</idno><date when="2001" year="2001">2001</date><idno type="doi">10.1007/3-540-45399-7_10</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-RPMN9R2F-D/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003E88</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003E88</idno><idno type="wicri:Area/Istex/Curation">003134</idno><idno type="wicri:Area/Istex/Checkpoint">001551</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001551</idno><idno type="wicri:doubleKey">0302-9743:2001:Cerbah F:using:terminology:extraction</idno><idno type="wicri:Area/Main/Merge">001715</idno><idno type="wicri:Area/Main/Curation">001682</idno><idno type="wicri:Area/Main/Exploration">001682</idno><idno type="wicri:Area/France/Extraction">000123</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements</title><author><name sortKey="Cerbah, Farid" sort="Cerbah, Farid" uniqKey="Cerbah F" first="Farid" last="Cerbah">Farid Cerbah</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Dassault Aviation, DPR/DESA, 78, quai Marcel Dassault, 92552, cedex 300 Saint-Cloud</wicri:regionArea><placeName><region type="region" nuts="2">Île-de-France</region><settlement type="city">cedex 300 Saint-Cloud</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Euzenat, Jerome" sort="Euzenat, Jerome" uniqKey="Euzenat J" first="Jérôme" last="Euzenat">Jérôme Euzenat</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Inria Rhône-Alpes, 655, avenue de l’Europe, 38330, Monbonnot St Martin</wicri:regionArea><placeName><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region><settlement type="city">Monbonnot St Martin</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: This article deals with traceability in sotfware engineering. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminological resources. The presented system is one step towards incremental formalization from textual knowledge.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Auvergne-Rhône-Alpes</li><li>Rhône-Alpes</li><li>Île-de-France</li></region><settlement><li>Monbonnot St Martin</li><li>cedex 300 Saint-Cloud</li></settlement></list><tree><country name="France"><region name="Île-de-France"><name sortKey="Cerbah, Farid" sort="Cerbah, Farid" uniqKey="Cerbah F" first="Farid" last="Cerbah">Farid Cerbah</name></region><name sortKey="Cerbah, Farid" sort="Cerbah, Farid" uniqKey="Cerbah F" first="Farid" last="Cerbah">Farid Cerbah</name><name sortKey="Euzenat, Jerome" sort="Euzenat, Jerome" uniqKey="Euzenat J" first="Jérôme" last="Euzenat">Jérôme Euzenat</name><name sortKey="Euzenat, Jerome" sort="Euzenat, Jerome" uniqKey="Euzenat J" first="Jérôme" last="Euzenat">Jérôme Euzenat</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Informatique/explor/SgmlV1/Data/France/Analysis
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000123 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000123 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Informatique
|area= SgmlV1
|flux= France
|étape= Analysis
|type= RBID
|clé= ISTEX:F18609BF12E506D5B40600FF629138B149E05F4C
|texte= Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
}}
| This area was generated with Dilib version V0.6.33. |  |